Merge pull request #1805 from antonio-nino-diaz-arm/an/generic-timer
authorAntonio Niño Díaz <[email protected]>
Wed, 6 Feb 2019 10:20:12 +0000 (10:20 +0000)
committerGitHub <[email protected]>
Wed, 6 Feb 2019 10:20:12 +0000 (10:20 +0000)
drivers: generic_delay_timer: Assert presence of Generic Timer


Trivial merge